Intermediate extensions in $L^p$

Intermediate Extensions In

Intermediate models of Prikry generic extensions

We prove that if V ⊆ V[h] is a generic extension by Prikry forcing then every transitive intermediate model M of ZFC , where V $ M ⊆ V[h] , is again a Prikry generic extension of V . Moreover the family of intermediate models is parametrised by P(ω)/finite. The result is proved by studying V-constructibility degrees of sets in V[h] using parameters in V .

The Intermediate Age Brown Dwarf LP 944 - 20 ⋆

Observations are presented which show that Li I λ6708 is detected with equivalent width of 0.53±0.05Å in the proper-motion object LP 944-20 (which is also known as BRI 0337-3535). This Li detection implies that LP 944-20 is a brown dwarf with mass between 0.057 and 0.063M ⊙ and age between 475 and 650 Myr, making it the first brown dwarf to have its mass and age precisely determined.

Intermediate System to Intermediate System (IS-IS) Extensions for Advertising Router Information

Status of This Memo This document specifies an Internet standards track protocol for the Internet community, and requests discussion and suggestions for improvements. Please refer to the current edition of the "Internet Official Protocol Standards" (STD 1) for the standardization state and status of this protocol. Distribution of this memo is unlimited. Abstract This document defines a new opti...

On Extensions of Intermediate Logics by Strong Negation

In this paper we will study the properties of the least extension n(Λ) of a given intermediate logic Λ by a strong negation. It is shown that the mapping from Λ to n(Λ) is a homomorphism of complete lattices, preserving and reflecting finite model property, frame–completeness, interpolation and decidability. A general characterization of those constructive logics is given which are of the form ...